Typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Typed lambda calculus
Results: 163

#	Item
61	Type Theory & Functional Programming Simon Thompson Computing Laboratory, University of Kent March 1999 Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
62	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Computing Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system Simply typed lambda calculus Denotational semantics Type theory Software engineering Theoretical computer science
63	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
64	Towards explicit rewrite rules in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Fontainebleau, France Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-01-27 09:23:05 Mathematics Lambda calculus Type theory Dependently typed programming Unification Twelf Rewriting Calculus of constructions Normalization property Theoretical computer science Logic in computer science Applied mathematics
65	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-23 07:37:37 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
66	The Subject Reduction Property in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:50:21 Mathematics Lambda calculus Formal languages Symbol Rewriting Simply typed lambda calculus Combinatory logic Natural deduction Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
67	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science
68	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
69	Typed λ-calculus: course notes P. B. Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2015-04-11 03:52:53 Type theory Formal methods Theoretical computer science Procedural programming languages Proof theory Lambda calculus Type system Standard ML Curry–Howard correspondence Software engineering Programming language theory Mathematics
70	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus